Dam, Mads: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

A verification tool for ERLANG

Lars–Åke Fredlund, Dilian Gurov, Thomas Noll, Mads Dam, Thomas Arts, Gennady Chugunov

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2003

Language:

english

File:

PDF, 385 KB

english, 2003

2

Imaging of Flames in Cement Kilns to Study the Influence of Different Fuel Types

Pedersen, Morten Nedergaard, NIelsen, Mads, Clausen, Sønnik, Jensen, Peter Arendt, Skaarup Jensen, Lars, Dam-Johansen, Kim

Journal:

Year:

2017

Language:

english

File:

PDF, 2.71 MB

english, 2017

3

[Lecture Notes in Computer Science] Secure IT Systems Volume 9417 || A Conceptual Nationwide Cyber Situational Awareness Framework for Critical Infrastructures

Buchegger, Sonja, Dam, Mads

Year:

2015

Language:

english

File:

PDF, 566 KB

english, 2015

4

Levosimendan prevents pressure-overload induced right ventricular failure

Hillgaard, Thomas Krarup, Andersen, Asger, Andersen, Stine, Vildbrad, Mads Dam, Ringgaard, Steffen, Nielsen, Jan Møller, Nielsen-Kudsk, Jens Erik

Journal:

Journal of Cardiovascular Pharmacology

Year:

2015

Language:

english

File:

PDF, 2.84 MB

english, 2015

5

Septal bowing and pulmonary artery diameter on computed tomography pulmonary angiography are associated with short-term outcomes in patients with acute pulmonary embolism

Lyhne, Mads Dam, Schultz, Jacob Gammelgaard, MacMahon, Peter J., Haddad, Faris, Kalra, Mannudeep, Tso, David Mai-King, Muzikanski, Alona, Lev, Michael H, Kabrhel, Christopher

Journal:

Emergency Radiology

Year:

2019

Language:

english

File:

PDF, 1.38 MB

english, 2019

6

On the verification of system-level information flow properties for virtualized execution platforms

Baumann, Christoph, Schwarz, Oliver, Dam, Mads

Journal:

Journal of Cryptographic Engineering

Year:

2019

Language:

english

File:

PDF, 940 KB

english, 2019

7

Productivity, surface quality and tolerances in ultrasonic machining of ceramics

Henrik Dam, Per Quist, Mads Peter Schreiber

Journal:

Journal of Materials Processing Technology

Year:

1995

Language:

english

File:

PDF, 683 KB

english, 1995

8

A framework for optimizing measurement weight maps to minimize the required sample size

Arish A. Qazi, Dan R. Jørgensen, Martin Lillholm, Marco Loog, Mads Nielsen, Erik B. Dam

Journal:

Medical Image Analysis

Year:

2010

Language:

english

File:

PDF, 1.10 MB

english, 2010

9

On the secure implementation of security protocols

Pablo Giambiagi, Mads Dam

Journal:

Science of Computer Programming

Year:

2004

Language:

english

File:

PDF, 334 KB

english, 2004

10

On the decidability of process equivalences for the π-calculus

Journal:

Theoretical Computer Science

Year:

1997

Language:

english

File:

PDF, 994 KB

english, 1997

11

Formal Methods Research at SICS and KTH: An Overview

Mads Dam, Lars-Åke Fredlund, Dillian Gurov

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 57 KB

english, 2003

12

Growth patterns of abdominal atherosclerotic calcified deposits from lumbar lateral X-rays

Lene Lillemark, Melanie Ganz, Natasha Barascuk, Erik B. Dam, Mads Nielsen

Journal:

The International Journal of Cardiovascular Imaging

Year:

2010

Language:

english

File:

PDF, 467 KB

english, 2010

13

R-generability, and definability in branching time logics

Journal:

Information Processing Letters

Year:

1992

Language:

english

File:

PDF, 630 KB

english, 1992

14

CTL∗ and ECTL∗ as fragments of the modal μ-calculus

Journal:

Theoretical Computer Science

Year:

1994

Language:

english

File:

PDF, 1.32 MB

english, 1994

15

Decentralized detection of global threshold crossings using aggregation trees

Fetahi Wuhib, Mads Dam, Rolf Stadler

Journal:

Computer Networks

Year:

2008

Language:

english

File:

PDF, 1.21 MB

english, 2008

16

[Lecture Notes in Computer Science] Analysis and Verification of Multiple-Agent Languages Volume 1192 || Abstract interpretation of the π-calculus

Year:

1997

Language:

english

File:

PDF, 1.23 MB

english, 1997

17

Model Checking Mobile Processes

Journal:

Information and Computation

Year:

1996

Language:

english

File:

PDF, 838 KB

english, 1996

18

Proving Properties of Dynamic Process Networks

Journal:

Information and Computation

Year:

1998

Language:

english

File:

PDF, 460 KB

english, 1998

19

An Epistemic Predicate CTL* for Finite Control π-Processes

Dimitar P. Guelev, Mads Dam

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 285 KB

english, 2011

20

Distribution, size, shape, growth potential and extent of abdominal aortic calcified deposits predict mortality in postmenopausal women

Mads Nielsen, Melanie Ganz, Francois Lauze, Paola C Pettersen, Marleen de Bruijne, Thomas B Clarkson, Erik B Dam, Claus Christiansen, Morten A Karsdal

Journal:

BMC Cardiovascular Disorders

Year:

2010

Language:

english

File:

PDF, 507 KB

english, 2010

21

YKL-40: a new biomarker in cardiovascular disease?

Mathiasen, Anders Bruun, Henningsen, Kristoffer Mads Aaris, Harutyunyan, Marina Jurjevna, Mygind, Naja Dam, Kastrup, Jens

Journal:

Biomarkers in Medicine

Year:

2010

Language:

english

File:

PDF, 502 KB

english, 2010

22

Provably correct runtime monitoring

Irem Aktug, Mads Dam, Dilian Gurov

Journal:

The Journal of Logic and Algebraic Programming

Year:

2009

Language:

english

File:

PDF, 1.23 MB

english, 2009

23

Osteoarthritic Cartilage Is More Homogeneous Than Healthy Cartilage

Qazi, Arish A., Dam, Erik B., Nielsen, Mads, Karsdal, Morten A., Pettersen, Paola C., Christiansen, Claus

Journal:

Academic Radiology

Year:

2007

Language:

english

File:

PDF, 1.14 MB

english, 2007

24

Holidays for Disabled People 1988

Qazi, Arish A., Dam, Erik B., Nielsen, Mads, Karsdal, Morten A., Pettersen, Paola C., Christiansen, Claus

Journal:

Physiotherapy (Elsevier Science)

Year:

1988

Language:

english

File:

PDF, 319 KB

english, 1988

25

Localized cerebral atrophy acceleration during Alzheimer’s disease

Pai, Akshay, Sorensen, Lauge, Darkner, Sune, Lillholm, Martin, Dam, Erik B., Sporring, Jon, Nielsen, Mads

Journal:

Alzheimer's & Dementia

Year:

2013

Language:

english

File:

PDF, 52 KB

english, 2013

26

Localized cerebral atrophy acceleration during Alzheimer's disease

Pai, Akshay, Sorensen, Lauge, Darkner, Sune, Lillholm, Martin, Dam, Erik B., Sporring, Jon, Nielsen, Mads

Journal:

Alzheimer's & Dementia

Year:

2013

Language:

english

File:

PDF, 264 KB

english, 2013

27

Brain region’s relative proximity as marker for Alzheimer’s disease based on structural MRI

Lillemark, Lene, Sørensen, Lauge, Pai, Akshay, Dam, Erik B, Nielsen, Mads

Journal:

BMC Medical Imaging

Year:

2014

Language:

english

File:

PDF, 321 KB

english, 2014

28

[ACM Press the 2013 ACM SIGSAC conference - Berlin, Germany (2013.11.04-2013.11.08)] Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security - CCS '13 - Formal verification of information flow security for a simple arm-based separation kernel

Dam, Mads, Guanciale, Roberto, Khakpour, Narges, Nemati, Hamed, Schwarz, Oliver

Year:

2013

Language:

english

File:

PDF, 688 KB

english, 2013

29

[IEEE 2013 IEEE 10th International Symposium on Biomedical Imaging (ISBI 2013) - San Francisco, CA, USA (2013.04.7-2013.04.11)] 2013 IEEE 10th International Symposium on Biomedical Imaging - Cube propagation for focal brain atrophy estimation

Pai, Akshay, Sorensen, Lauge, Darkner, Sune, Mysling, Peter, Jorgensen, Dan, Dam, Erik B, Lillholm, Martin, Oh, Joonmi, Chen, Gennan, Suhy, Joyce, Sporring, Jon, Nielsen, Mads

Year:

2013

Language:

english

File:

PDF, 250 KB

english, 2013

30

[IEEE 2009 IFIP/IEEE International Symposium on Integrated Network Management (IM) - New York, NY, USA (2009.06.1-2009.06.5)] 2009 IFIP/IEEE International Symposium on Integrated Network Management - Gossiping for threshold detection

Wuhib, Fetahi, Stadler, Rolf, Dam, Mads

Year:

2009

Language:

english

File:

PDF, 217 KB

english, 2009

31

[IEEE 2007 10th IFIP/IEEE International Symposium on Integrated Network Management - Munich, Germany (2007.05.21-2007.05.25)] 2007 10th IFIP/IEEE International Symposium on Integrated Network Management - Robust Monitoring of Network-wide Aggregates through Gossiping

Wuhib, Fetahi, Dam, Mads, Stadler, Rolf, Clemm, Alexander

Year:

2007

Language:

english

File:

PDF, 2.94 MB

english, 2007

32

[IEEE 2014 22nd Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP) - Torino, Italy (2014.02.12-2014.02.14)] 2014 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing - Location Independent Routing in Process Network Overlays

Dam, Mads, Palmskog, Karl

Year:

2014

Language:

english

File:

PDF, 272 KB

english, 2014

33

[IEEE 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) - Wroclaw, Poland (2007.07.10-2007.07.14)] 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) - A Complete Axiomatization of Knowledge and Cryptography

Cohen, Mika, Dam, Mads

Year:

2007

Language:

english

File:

PDF, 181 KB

english, 2007

34

[IEEE 2013 35th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC) - Osaka (2013.7.3-2013.7.7)] 2013 35th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC) - Femoral cartilage segmentation in Knee MRI scans using two stage voxel classification

Prasoon, Adhish, Igel, Christian, Loog, Marco, Lauze, Francois, Dam, Erik B., Nielsen, Mads

Year:

2013

Language:

english

File:

PDF, 345 KB

english, 2013

35

[ACM Press the 2014 ACM SIGSAC Conference - Scottsdale, Arizona, USA (2014.11.03-2014.11.07)] Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security - CCS '14 - Automating Information Flow Analysis of Low Level Code

Balliu, Musard, Dam, Mads, Guanciale, Roberto

Year:

2014

Language:

english

File:

PDF, 973 KB

english, 2014

36

Location-independent routing in process network overlays

Dam, Mads, Palmskog, Karl

Journal:

Service Oriented Computing and Applications

Year:

2015

Language:

english

File:

PDF, 2.13 MB

english, 2015

37

Roll and roll-to-roll process scaling through development of a compact flexo unit for printing of back electrodes

Dam, Henrik F., Andersen, Thomas R., Madsen, Morten V., Mortensen, Thomas K., Pedersen, Mads F., Nielsen, Uffe, Krebs, Frederik C.

Journal:

Solar Energy Materials and Solar Cells

Year:

2015

Language:

english

File:

PDF, 1.91 MB

english, 2015

38

SPIE Proceedings [SPIE SPIE Medical Imaging - San Diego, California, USA (Saturday 4 February 2012)] Medical Imaging 2012: Image Processing - Cascaded classifier for large-scale data applied to automatic segmentation of articular cartilage

Prasoon, Adhish, Igel, Christian, Loog, Marco, Lauze, François, Dam, Erik, Nielsen, Mads, Haynor, David R., Ourselin, Sébastien

Year:

2012

Language:

english

File:

PDF, 1.35 MB

english, 2012

39

SPIE Proceedings [SPIE Medical Imaging - San Diego, CA (Saturday 12 February 2005)] Medical Imaging 2005: Image Processing - Locating articular cartilage in MR images

Folkesson, Jenny, Dam, Erik, Pettersen, Paola, Olsen, Ole F., Nielsen, Mads, Christiansen, Claus, Fitzpatrick, J. Michael, Reinhardt, Joseph M.

Year:

2005

Language:

english

File:

PDF, 209 KB

english, 2005

40

SPIE Proceedings [SPIE Medical Imaging - San Diego, CA (Saturday 17 February 2007)] Medical Imaging 2007: Image Processing - Automatic detection of diseased regions in knee cartilage

Qazi, Arish A., Dam, Erik B., Olsen, Ole F., Nielsen, Mads, Christiansen, Claus, Pluim, Josien P. W., Reinhardt, Joseph M.

Year:

2007

Language:

english

File:

PDF, 201 KB

english, 2007

41

Erratum

Qazi, Arish A., Dam, Erik B., Olsen, Ole F., Nielsen, Mads, Christiansen, Claus, Pluim, Josien P. W., Reinhardt, Joseph M.

Journal:

Year:

2009

Language:

english

File:

PDF, 29 KB

english, 2009

42

SPIE Proceedings [SPIE Medical Imaging - San Diego, CA (Saturday 16 February 2008)] Medical Imaging 2008: Image Processing - A variational method for automatic localization of the most pathological ROI in the knee cartilage

Qazi, Arish A., Dam, Erik B., Loog, Marco, Nielsen, Mads, Lauze, Francois, Christiansen, Claus, Reinhardt, Joseph M., Pluim, Josien P. W.

Year:

2008

Language:

english

File:

PDF, 462 KB

english, 2008

43

Limitations and pitfalls in measurements of right ventricular stroke volume in an animal model of right heart failure

Vildbrad, Mads Dam, Andersen, Asger, Andersen, Thomas Krarup, Axelgaard, Sofie, Holmboe, Sarah, Andersen, Stine, Ringgaard, Steffen, Nielsen-Kudsk, Jens Erik

Journal:

Physiological Measurement

Year:

2015

Language:

english

File:

PDF, 1.02 MB

english, 2015

44

Distribution, Size, and Shape of Abdominal Aortic Calcified Deposits and Their Relationship to Mortality in Postmenopausal Women

Ganz, Melanie, de Bruijne, Marleen, Dam, Erik B., Pettersen, Paola, Karsdal, Morten A., Christiansen, Claus, Nielsen, Mads

Journal:

International Journal of Biomedical Imaging

Year:

2012

Language:

english

File:

PDF, 1.04 MB

english, 2012

45

[ACM Press the 2nd Workshop - Yorktown Heights, New York (2008.09.15-2008.09.17)] Proceedings of the 2nd Workshop on Large-Scale Distributed Systems and Middleware - LADIS '08 - Decentralized real-time monitoring of network-wide aggregates

Stadler, Rolf, Dam, Mads, Gonzalez, Alberto, Wuhib, Fetahi

Year:

2008

Language:

english

File:

PDF, 231 KB

english, 2008

46

[ACM Press the 2013 workshop - Indianapolis, Indiana, USA (2013.10.27-2013.10.27)] Proceedings of the 2013 workshop on Programming based on actors, agents, and decentralized control - AGERE! '13 - Efficient and fully abstract routing of futures in object network overlays

Dam, Mads, Palmskog, Karl

Year:

2013

Language:

english

File:

PDF, 566 KB

english, 2013

47

Publishing open access HCI books

Dam, Rikke Friis, Soegaard, Mads

Journal:

Year:

2013

Language:

english

File:

PDF, 1.40 MB

english, 2013

48

[ACM Press Proceeding of the 29th ACM SIGACT-SIGOPS symposium - Zurich, Switzerland (2010.07.25-2010.07.28)] Proceeding of the 29th ACM SIGACT-SIGOPS symposium on Principles of distributed computing - PODC '10 - Brief announcement

Krishnamurthy, Supriya, Ardelius, John, Aurell, Erik, Dam, Mads, Stadler, Rolf, Zebenigus Wuhib, Fetahi

Year:

2010

Language:

english

File:

PDF, 328 KB

english, 2010

49

[ACM Press the ACM SIGPLAN 6th Workshop - San Jose, California (2011.06.05-2011.06.05)] Proceedings of the ACM SIGPLAN 6th Workshop on Programming Languages and Analysis for Security - PLAS '11 - Epistemic temporal logic for information flow security

Balliu, Musard, Dam, Mads, Le Guernic, Gurvan

Year:

2011

Language:

english

File:

PDF, 272 KB

english, 2011

50

[ACM Press the 1998 ACM symposium - Atlanta, Georgia, United States (1998.02.27-1998.03.01)] Proceedings of the 1998 ACM symposium on Applied Computing - SAC '98 - On the verification of open distributed systems

Dam, Mads, Fredlund, Lars-åke

Year:

1998

Language:

english

File:

PDF, 939 KB

english, 1998

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски